#include "up.h"

int (*printf)(char *, ...) = 0x57e11df8;

int main()
{
	printf("hello world\n");
}
	


















